frame axioms

[计] 框架公理